refinement of partition